Join Diesel - Concurrency Primitives for Diesel
نویسنده
چکیده
We introduce a syntax and semantics for an adaption of the Join Calculus to the Diesel programming language, entitled Join Diesel. We describe the design decisions and trade-offs made in integrating these concurrency primitives into the Diesel language. We also give a typechecking algorithm for the function calls and method declarations of Join Diesel and then prove its soundness.
منابع مشابه
Dual Fuelling of a Direct Injection Automotive Diesel Engine by Diesel and Compressed Natural Gas
Application of Compressed Natural Gas (CNG) in diesel engines has always been important, especially in the field of automotive engineering. This is due to easy accessibility, better mixing quality and good combustion characteristics of the CNG fuel. In this study the application of CNG fuel along with diesel oil in a heavy duty direct-injection automotive diesel engine is experimentally investi...
متن کاملDual-Fuelling of a Direct-Injection Automotive Diesel Engine by Diesel-Gas Method
Use of liquefied petroleum gas (LPG) in compression-ignition (C-I) engines has always been considered important in the diesel engineering field. This is due to its easy accessibility and good combustion characteristics. In this paper the application of LPG fuel along with diesel oil in a direct- injection automotive diesel engine is experimentally investigated. In order to convert the pure dies...
متن کاملPerformance and Emission Characteristics of a Diesel Engine with Cottonseed Oil Plus Diesel Oil Blends
aIn the present study a 4-stroke 5hp diesel engine was tested with Diesel oil plus cottonseed oil blends. The blends in different proportions (10 to 50 percent by volume) were tested at constant speed of 1500 rpm. The said engine is operated at different loads and characteristics like Brake power, Brake thermal efficiency, specific fuel consumption etc. Engine performance for blends resulted in...
متن کاملSensitivity Enhancement of Fiber Optic Diesel Adulteration Detection Sensor Using Stripped Clad SBend Section
A novel geometry for enhancing the sensitivity of intensity modulated refractometric fiber optic sensor for detection of adulteration level in diesel by kerosene is proposed. In this multimode plastic optical fiber is uncladded for specific length and bent into S shape. This geometry is simulated and analyzed using Beam Propagation Method in Beam prop RSOFT software. When sensor is immersed in ...
متن کاملArtificial neural network model to predict the performance of a diesel power generator fueled with biodiesel
Alternative fuels are intensively investigated for the replacement of the diesel fuel. Today the diesel power generators are mostly used in the various industrial companies in Iran. Therefore, it is necessary to estimate the level of performance of the diesel power generators fueled with biofuels. For the first time, in this study, the prediction of the performance of a diesel power generator m...
متن کامل